$\forall$$A$:Type, $I$:MaInterface($A$), $i$:Id. ma{-}interface{-}loc($I$;$i$) $\in$ $\mathbb{B}$